Effective method

In logic, mathematics and computer science, especially metalogic and computability theory, an effective method^[1] or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class.^[2] An effective method is sometimes also called a mechanical method or procedure.^[3]

^ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971
^ Gandy, Robin (1980). "Church's Thesis and the Principles for Mechanisms". The Kleene Symposium. Retrieved 19 April 2024.
^ Copeland, B.J.; Copeland, Jack; Proudfoot, Diane (June 2000). "The Turing-Church Thesis". AlanTuring.net. Turing Archive for the History of Computing. Retrieved 23 March 2013.

[metalogic-1] Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971

[2] Gandy, Robin (1980). "Church's Thesis and the Principles for Mechanisms". The Kleene Symposium. Retrieved 19 April 2024.

[alanturingnet-3] Copeland, B.J.; Copeland, Jack; Proudfoot, Diane (June 2000). "The Turing-Church Thesis". AlanTuring.net. Turing Archive for the History of Computing. Retrieved 23 March 2013.

[1]

[2]

[3]